PULP_LIB_NAME_rt = rt_profile

CONFIG_SCHED_ENABLED=1
CONFIG_ALLOC_ENABLED=1
CONFIG_TIME_ENABLED=1

CONFIG_PADS_ENABLED=1
CONFIG_SPIM_ENABLED=1
CONFIG_HYPER_ENABLED=1
CONFIG_MRAM_ENABLED=1
CONFIG_UART_ENABLED=1
CONFIG_I2S_ENABLED=1
CONFIG_CAM_ENABLED=1
CONFIG_I2C_ENABLED=1
CONFIG_RTC_ENABLED=1
CONFIG_PWM_ENABLED=1
CONFIG_GPIO_ENABLED=1
CONFIG_FLASH_FS_ENABLED=1

CONFIG_OMP_ENABLED=1
CONFIG_LIB_BENCH_ENABLED=1
CONFIG_LIB_IO_ENABLED=1

CONFIG_IO_ENABLED=1
CONFIG_PROFILE_ENABLED=1
CONFIG_ASSERT_ENABLED=1
